#!/bin/sed -f

# this file should be used together with the trapentry.sed like:
# 'sed -f trapentry.sed | sed -f trap.sed'

/500/d

s/[^a-z]\+\([a-z]\+\([0-9]\+\)\).*/SETGATE(idt[\2], 1, GD_KT, \1, 0);/
